Rewriting Logic Techniques for Program Analysis and Optimization
نویسنده
چکیده
Debugging is the process of locating and fixing errors in computer programs. Debugging is essential in software development and almost every programming language has its own specialized tools for the task, with high variability regarding their debugging power. This paper briefly describes ongoing research towards a Ph.D. thesis on universal debugging, a proposal to develop a program debugging framework that is potentially compatible with any programming language, under the supervision of Professor of Computer Science Maŕıa Alpuente.
منابع مشابه
Semantics-Based Analysis for Optimizing Compilation of Concurrent Programs
Concurrent programming languages provide a paradigm for describing programs with complicated communication networks in a clear way. They support the creation of multiple computational units called processes that run concurrently in a program together with the mechanism for communication between processes, thereby simplifying the programming of synchronization and communication. Among them, conc...
متن کاملScalable Logic Synthesis using a Simple Circuit Structure
This paper proposes a resurgence of rewriting and peephole optimization. However, instead of structural matching and rulebased synthesis used in the classical approach, the proposed local transformations rely on efficient modern techniques, such as precomputation, reconvergence analysis, cut enumeration, Boolean matching, exhaustive simulation of small logic cones, and local resource-aware deci...
متن کاملContinuous Energy Values of 3-Amino-4-Nitraminofurazan Molecule by Modern Optimization Techniques
The conformational energy values of 3-amino-4-nitraminofurazan (C2N4O3H2) molecule changing with two torsion angles were firstly calculated using density functional theory (DFT) with Lee-Young-Parr correlation functional and 6-31 G(d) basis set on Gaussian Program. And then, these obtained discrete data were made continuous by using Fuzzy Logic Modelling (FLM) and Artificial Neural Network (ANN...
متن کاملHigh-level Data Access Based on Query Rewritings
This paper describes the ODBA problem solution based on query rewriting techniques, introduces the DL-Lite logics for knowledge representation and the query rewriting algorithms for high-level data access. The RQR algorithm’s optimization capabilities are considered. KeywordsODBA;description logic; DL-Lite; query answering, query rewriting,OWL 2 QL
متن کاملFormal approach to guarantee the correctness of compiler optimization using temporal logic Department of Mathematical and Computing Sciences
Optimization is a very important phase of compilation. Depending on the circumstances, it can improve the performance of programs by double-digit percentages. It is essential that the compiler optimizer is implemented so that it does not change the semantics of programs it is applied to. However, many optimizations are too complex to o er such correctness. Guaranteeing the correctness of an opt...
متن کامل